The main result of this paper is a probabilistic construction of finite rigid structures. It yields a finitely axiomatizable class of finite rigid structures where no L ω ∞,ω formula with counting quantifiers defines a linear order.

The set of all words in the alphabet {l, r} forms the full binary tree T. If x ∈ T then xl and xr are the left and the right successors of x respectively. We consider the monadic second-order language of the full binary tree with the two successor relations. This language allows quantification over elements of T and over arbitrary subsets of T. We prove that there is no monadic second-order formula φ * (X, y) such that for every (...) nonempty subset X of T there is a unique y ∈ X that satisfies φ * (X, y) in T. (shrink)

Ch. 1. Filosofskoe osmyslenie kulʹtury -- ch. 2. Problemy mnozhestvennosti kulʹtur.

Catalog of the collection of the Madamkhand Museum of Art, named after the wife of Batzhargalyn Batbai︠a︡r, businessman and member of the Mongolian Khural.

BackgroundAs moral case deliberations (MCDs) have increasingly been implemented in health care institutions as a form of ethics support, it is relevant to know whether and how MCDs actually contribute to positive changes in care. Insight is needed on what actually happens in daily care practice following MCD sessions. This study aimed at investigating the impact of MCD and exploring how ‘impact of MCD’ should be conceptualized for future research.MethodsA multiple-case study was conducted in a care organization for people with (...) intellectual disabilities and/or acquired brain injury, by observing MCD sessions as ‘cases’, followed by interviews with health care professionals concerning the follow-up to these cases, and a focus group with involved MCD facilitators. A conceptual scheme concerning the possible impact formed the basis for analysis: (1) individual moral awareness; (2) the actions of health care professionals; (3) collaboration among health care professionals; (4) the concrete situation of the client; (5) the client’s quality of care and life; (6) the organizational and policy level.ResultsAccording to interviewees, their moral awareness and their collaboration, both among colleagues and with clients’ relatives, improved after MCD. Perceived impact on client situation, quality of care/life and the organizational level varied among interviewees or was difficult to define or link to MCD. Three aspects were added to the conceptual scheme concerning the impact of MCD: (a) preparations and expectations prior to the MCD session; (b) a translational step between the conclusions of the MCD session and practical events in the following period, and (c) collaboration with clients’ relatives. A negative impact of MCD was also found on misunderstandings among participants and disappointment about lack of follow-up.ConclusionsConcretizing and conceptualizing the ‘impact’ of MCD is complicated as many factors play a role either before or during the transition from MCD to practice. It is important to consider ‘impact’ in a broad sense and to relate it to the goals and context of the MCD in question. Future studies in this field should pay additional attention to the preparations, content and process involved in ethics support, including clients’ and relatives’ experiences. (shrink)

jild-i 1. Āzādī va marzʹhāyash -- jild-i 2. Istiqlāl (farhangī).

Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turing-computable numeric functions. The Abstract State Machine Theorem states that every classical algorithm is behaviorally equivalent to an abstract state machine. This theorem presupposes three natural postulates about algorithmic computation. Here, we show that augmenting those postulates with an additional requirement regarding basic operations gives a natural axiomatization of computability and a proof of Church's (...) Thesis, as Gödel and others suggested may be possible. In a similar way, but with a different set of basic operations, one can prove Turing's Thesis, characterizing the effective string functions, and--in particular--the effectively-computable functions on string representations of numbers. (shrink)

Ṣadr, Muḥammad Bāqir; Islamic philosophy; 20th century.

What is the identity of the best regime in Aristotle's Politics? Although there are a few references to the best regime in Book III, the obvious answer is the regime discussed in Books VII and VIII. Aristotle calls it the best regime on numerous occasions and discusses it at great length. Yet, this is not the complete answer. In Book IV Aristotle makes certain curious remarks on the best regime that, on examination, do not fit the best regime of Books (...) VII and VIII. They lead, instead, to the discovery of a systematic, though quiet, teaching on a very different best regime in Book III. The Politics actually contains a complicated yet coherent teaching on two best regimes. Grasping this teaching is key to arriving at a proper understanding of the distinctive character of Aristotle's political thought. (shrink)

В книге продолжается обсуждение тем, представленных в труде "Психология нравственности", изданном в 2010 году. Авторы обсуждают пути решения проблем и преодоления переживаемого нашим обществом глубокого нравственного кризиса.

Let the individuals of a population be divided into two groups with different personal habits. The core group is associated with health risk behaviors; the non-core group avoids unhealthy activities. Assume that the infected individuals of the core group can spread a contagious disease to the whole population. Also, assume that cure does not confer immunity. Here, an epidemiological model written as a set of ordinary differential equations is proposed to investigate the infection propagation in this population. In the model, (...) migrations between these two groups are allowed; however, the transitions from the non-core group into the core group prevail. These migrations can be either spontaneous or stimulated by social pressure. It is analytically shown that, in the scenario of spontaneous migration, the disease is either naturally eradicated or chronically persists at a constant level. In the scenario of stimulated migration, in addition to eradication and constant persistence, self-sustained oscillations in the number of sick individuals can also be found. These analytical results are illustrated by numerical simulations and discussed from a public health perspective. (shrink)